Proving of concurrent program
[计] 并行程序证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
🗣️ 情景例句
Monday morning.
星期一早晨。
To come towards
正面过来
Look at the snow! It's quite light.
瞧这雪！这么小。